The Static and Dynamic Semantics of C
نویسندگان
چکیده
Montages are a semi-visual formalism for defining the static and dynamic semantics of a programming language using Gurevich’s Abstract State Machines (ASMs). We describe an application of Montages to describe the static and dynamic semantics of the C programming language.
منابع مشابه
Dynamic Categorization of Semantics of Fashion Language: A Memetic Approach
Categories are not invariant. This paper attempts to explore the dynamic nature of semantic category, in particular, that of fashion language, based on the cognitive theory of Dawkins’ memetics, a new theory of cultural evolution. Semantic attributes of linguistic memes decrease or proliferate in replication and spreading, which involves a dynamic development of semantic category. More specific...
متن کاملMechanical Properties Analysis of Bilayer Euler-Bernoulli Beams Based on Elasticity Theory
This paper analyzes the effects of structures and loads on the static bending and free vibration problems of bilayer beams. Based on static mechanical equilibrium and energy equilibrium, the static and dynamic governing equations of bilayer beam are established. It is found that the value of the thickness ratio has a significant effect on the static and dynamic responses of the beam, and the st...
متن کاملReverse Engineering of Network Software Binary Codes for Identification of Syntax and Semantics of Protocol Messages
Reverse engineering of network applications especially from the security point of view is of high importance and interest. Many network applications use proprietary protocols which specifications are not publicly available. Reverse engineering of such applications could provide us with vital information to understand their embedded unknown protocols. This could facilitate many tasks including d...
متن کاملEffect of weight transfer training on static and dynamic balance of older women
The aim of this study was to determine the effect of weight transfer training on static and dynamic balance of older women. 20 accessible subjects that met our criteria divided randomly into two experimental and control groups. The experimental group trained for 6 weeks, 3 times a week and each session 60 minutes a day. Biodex balance system used for training and testing procedures. Data analys...
متن کاملParametric Study of the Empty and Foam-Filled End-Capped Conical Tubes under quasi Static and Dynamic impact Loads
This paper investigates the parametric study of the empty and foam-filled end-capped tubes under quasi static and dynamic loadings. The numerical crash analysis of the empty and foam-filled tubes was performed using the explicit finite element code ABAQUS- explicit. Satisfactory agreements were generally achieved between the numerical and experimental results. In order to determine the crash be...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000